/* 
 * File:   main.cpp
 * Author: hamed
 *
 * Created on November 23, 2010, 12:27 AM
 */

#include <stdlib.h>

#include "Minimizer.h"

/*
 * 
 */
int main(int argc, char** argv) {

    Minimizer* minimizer = new Minimizer();
    minimizer->createFromFile((const char*)argv[1]);
//    minimizer->applyRules();
//    minimizer->print();

    cout << endl;
    return (EXIT_SUCCESS);
}

